Simple regression (regression analysis with a single explanatory variable), and multiple regression (regression models with multiple explanatory variables), typically correspond to very different biological questions. The former use regression lines to describe univariate associations. The latter describe the partial, or direct, effects of multiple variables, conditioned on one another. We suspect that the superficial similarity of simple and multiple regression leads to confusion in their interpretation. A clear understanding of these methods is essential, as they underlie a large range of (...) procedures in common use in biology. Beyond simple and multiple regression in their most basic forms, understanding the key principles of these procedures is critical to understanding, and properly applying, many methods, such as mixed models, generalised models, and causal inference using graphs (including path analysis and its extensions). A simple, but careful, look at the distinction between these two analyses is valuable in its own right, and can also be used to clarify widely-held misconceptions about collinearity (correlations among explanatory variables). There is no general sense in which collinearity is a problem. We suspect that the perception of collinearity as a hindrance to analysis stems from misconceptions about interpretation of multiple regression models, and so we pursue discussions about these misconceptions in this light. In particular, collinearity causes multiple regression coefficients to be less precisely estimated than corresponding simple regression coefficients. This should not be interpreted as a problem, as it is perfectly natural that direct effects should be harder to characterise than univariate associations. Purported solutions to the perceived problems of collinearity are detrimental to most biological analyses. (shrink)

The commentary on Plato's Republic by Proclus (d. 485 CE), which takes the form of a series of essays, is the only sustained treatment of the dialogue to survive from antiquity. This three-volume edition presents the first complete English translation of Proclus' text, together with a general introduction that argues for the unity of Proclus' Commentary and orients the reader to the use which the Neoplatonists made of Plato's Republic in their educational program. Each volume is completed by a Greek (...) word index and an English-Greek glossary that will help non-specialists to track the occurrence of key terms throughout the translated text. The second volume of the edition presents Proclus' essays on the tripartite soul and the virtues, female philosopher rulers, and the metaphysics and epistemology of the central books of the Republic. The longest of the essays in Volume II interprets the nature and significance of the 'marriage number' whose miscalculation leads to the degeneration of the ideal city-state. (shrink)

Review of Graeme Laurie, Genetic Privacy.

The talk is called ‘The QUANTUM COMPLEXITY behind Quantum Reality’. It is divided into 3 parts: an outline of the essentials of quantum theory, a discussion of some glaring problems of interpretation, and my shocking philosophical conclusions.

Growing-Block theorists hold that past and present things are real, while future things do not yet exist. This generates a puzzle: how can Growing-Block theorists explain the fact that some sentences about the future appear to be true? Briggs and Forbes develop a modal ersatzist framework, on which the concrete actual world is associated with a branching-time structure of ersatz possible worlds. They then show how this branching structure might be used to determine the truth values of future contingents. They (...) point out three different ways of interpreting the logical connectives, which give rise to three different logics of the open future: one supervaluationist, one corresponding to Lukasiewicz's strong Kleene logic, and one intuitionist. (shrink)

What is a physical object according to the theory of quantum mechanics? The first answer to be considered is that given by Bohr in terms of the concept of complementarity. This interpretation is illustrated by way of an example, the two slit experiment, which highlights some of the associated problems of ontology. One such problem is the so-called problem of measurement or observation. Various interpretations of measurement in Quantum Theory, including those of Heisenberg, von Neumann, Everett and Bohr, are compared (...) and contrasted. A second problem concerns whether or not QT can be considered complete and therefore satisfactory as a basis for physics. Various attempts to complete QT by means of the addition of ‘hidden variables’ to the quantum mechanical state function are considered and their aims and achievements assessed. Finally, we investigate some of the characteristic ontological problems for the orthodox interpretation of Relativistic Quantum Theory. -/- . (shrink)

This book has been written for eighteen year olds (or anyone who will listen) as an honest attempt to face their justified questionings and to offer them a metaphysical framework with which to confront the twenty-first century. It is vitally important that certain modes of thought are uprooted and new modes put in their place if mankind and planet Earth are not soon to suffer an historic global catastrophe. Apart from the continuing world-wide proliferation of conventional, chemical, biological and nuclear (...) weaponry, the temperature of the planet has risen more rapidly in the last twenty-five years than it has since the year 900AD, which confirms global warming by some cause or other. These and the many intensifying human conflicts and natural disasters demand that some fundamental changes to our thinking are made as soon as possible. These 120 pages begin with an original examination of the quantum-theoretical understanding of reason (logic) and reality (existence) and find both to be at odds with common sense. A theory of everything is a reduction to a single grand idea! A quantum theory of everything is a mathematical theory of a consciousness realizing this grand idea! That is what this book tries to comprehend by means of five indisputable propositions. (shrink)

We show that five important elements of the ‘nomological package’— laws, counterfactuals, chances, dispositions, and counterfactuals—needn’t be a problem for the Growing-Block view. We begin with the framework given in Briggs and Forbes (in The real truth about the unreal future. Oxford studies in metaphysics. Oxford University Press, Oxford, 2012 ), and, taking laws as primitive, we show that the Growing-Block view has the resources to provide an account of possibility, and a natural semantics for non-backtracking causal counterfactuals. We show (...) how objective chances might ground a more fine-grained concept of feasibility, and furnished a places in the structure where causation and dispositions might fit. The Growing-Block view, thus understood, provides the resources to explain the close link between modality and tense, so that it predicts modal change as time passes. This account lets us capture not only what the future might hold for us, and also what might have been. (shrink)

Background Several jurisdictions, including Singapore, Australia, New Zealand and most recently Ireland, have a public interest or public good criterion for granting waivers of consent in biomedical research using secondary health data or tissue. However, the concept of the public interest is not well defined in this context, which creates difficulties for institutions, institutional review boards and regulators trying to implement the criterion. Main text This paper clarifies how the public interest criterion can be defensibly deployed. We first explain the (...) ethical basis for requiring waivers to only be granted to studies meeting the public interest criterion, then explore how further criteria may be set to determine the extent to which a given study can legitimately claim to be in the public interest. We propose an approach that does not attempt to measure magnitude of benefit directly, but rather takes into account metrics that are more straightforward to apply. To ensure consistent and justifiable interpretation, research institutions and IRBs should also incorporate procedural features such as transparency and public engagement in determining which studies satisfy the public interest requirement. Conclusion The requirement of public interest for consent waivers in secondary biomedical research should be guided by well-defined criteria for systematic evaluation. Such a criteria and its application need to be periodically subject to intra-committee and intra-institution review, reflection, deliberation and amendment. (shrink)

A New Route to the Necessity of Origin’, Guy Rohrbaugh and Louis deRossett argue for the Necessity of Origin in a way that they believe avoids use of any kind of transworld constitutional sufficiency principle. In this discussion, we respond that either their arguments do imply a sufficiency principle, or else they entirely fail to establish the Necessity of Origin.

Covers Essays 1 to 6 in Proclus' Commentary and includes a general introduction to the work as a whole.

Ethical decision-making frameworks assist in identifying the issues at stake in a particular setting and thinking through, in a methodical manner, the ethical issues that require consideration as well as the values that need to be considered and promoted. Decisions made about the use, sharing, and re-use of big data are complex and laden with values. This paper sets out an Ethics Framework for Big Data in Health and Research developed by a working group convened by the Science, Health and (...) Policy-relevant Ethics in Singapore Initiative. It presents the aim and rationale for this framework supported by the underlying ethical concerns that relate to all health and research contexts. It also describes a set of substantive and procedural values that can be weighed up in addressing these concerns, and a step-by-step process for identifying, considering, and resolving the ethical issues arising from big data uses in health and research. This Framework is subsequently applied in the papers published in this Special Issue. These papers each address one of six domains where big data is currently employed: openness in big data and data repositories, precision medicine and big data, real-world data to generate evidence about healthcare interventions, AI-assisted decision-making in healthcare, public-private partnerships in healthcare and research, and cross-sectoral big data. (shrink)

This article is a preliminary presentation of conjunctive paraconsistency, the claim that there might be non-explosive true contradictions, but contradictory propositions cannot be considered separately true. In case of true ‘p and not p’, the conjuncts must be held untrue, Simplification fails. The conjunctive approach is dual to non-adjunctive conceptions of inconsistency, informed by the idea that there might be cases in which a proposition is true and its negation is true too, but the conjunction is untrue, Adjunction fails. While (...) non-adjunctivism is a well-known option, the other view is not so much studied nowadays, but it was not unknown in the tradition, and there are some positive suggestions, in recent literature, that the position is plausible and deserves to be developed. The article compares conjunctivism, non-adjunctivism and dialetheism, then focuses on some possible justifications, costs and benefits of the conjunctive view. (shrink)

Discussion of partial grounds that aren't parts of full grounds; definition of full grounding in terms of partial grounding.

The field of AI safety aims to prevent increasingly capable artificially intelligent systems from causing humans harm. Research on moral alignment is widely thought to offer a promising safety strategy: if we can equip AI systems with appropriate ethical rules, according to this line of thought, they'll be unlikely to disempower, destroy or otherwise seriously harm us. Deontological morality looks like a particularly attractive candidate for an alignment target, given its popularity, relative technical tractability and commitment to harm-avoidance principles. I (...) argue that the connection between moral alignment and safe behavior is more tenuous than many have hoped. In general, AI systems can possess either of these properties in the absence of the other, and we should favor safety when the two conflict. In particular, advanced AI systems governed by standard versions of deontology need not be especially safe. (shrink)

This paper introduces a conceptual framework, denoted as ‘Line Theory,’ which is predicated on the procedural anatomy inherent in ordinary plans. A plan, recognized as a set of instructions for execution, undergoes in-depth scrutiny to analyze its constituent elements. The concise examination delves into the formation of line and effect within real space stemming from procedures. Line theory serves the purpose of elucidating the absolute optimization of plans. It is formulated to inaugurate an exploration into the veracity of procedures and (...) their elemental changes, examining their correlation with space and motion at the most fundamental level. The scientific community has extensively delved into the examination of the behavior and structure of objects at the microscopic level. This paper endeavors to stimulate interest in the analogous analysis of procedures. The fundamental objective within this theoretical framework is to offer a distinct philosophical perspective on changes and effects. (shrink)

This dissertation lays the foundation for a new theory of non-relational intentionality. The thesis is divided into an introduction and three main chapters, each of which serves as an essential part of an overarching argument. The argument yields, as its conclusion, a new account of how language and thought can exhibit intentionality intrinsically, so that representation can occur in the absence of some thing that is represented. The overarching argument has two components: first, that intentionality can be profi tably studied (...) through examination of the semantics of intensional transitive verbs (ITVs), and second, that providing intensional transitive verbs with a nonrelational semantics will serve to provide us with (at least the beginnings of) a non-relational theory of intentionality. This approach is a generalization of Anscombe's views on perception. Anscombe held that perceptual verbs such as "see" and "perceive" were ITVs, and that understanding the semantics of their object positions could help us to solve the problems of hallucination and illusion, and provide a theory of perception more generally. I propose to apply this strategy to intentional states and the puzzles of intentionality more generally, and so Anscombe's influence will be felt all through the dissertation. -/- In the first chapter, titled "Semantic Verbs are Intensional Transitives", I argue that semantic verbs such as "refers to", "applies to", and "is true of" have all of the features of intensional transitive verbs, and discuss the consequences of this claim for semantic theory and the philosophy of language. One theoretically enriching consequence of this view is that it allows us to perspicuously express, and partially reconcile two opposing views on the nature and subject-matter of semantics: the Chomskian view, on which semantics is an internalistic enterprise concerning speakers' psychologies, and the Lewisian view, on which semantics is a fully externalistic enterprise issuing in theorems about how the world must look for our natural language sentences to be true. Intensional Transitive Verbs have two readings: a de dicto reading and a de re reading; the de dicto reading of ITVs is plausibly a nonrelational reading, and the intensional features peculiar to this reading make it suitable for expressing a Chomskian, internalist semantic program. On the other hand, the de re reading is fully relational, and make it suitable for expressing the kinds of word-world relations essential to the Lewisian conception of semantics. And since the de dicto and de re readings are plausibly related as two distinct scopal readings of the very same semantic postulates, we can see these two conceptions of semantics as related by two scopal readings of the very same semantic postulates. -/- In chapter two, titled "Hallucination and the New Problem of Empty Names", I argue that the problem of hallucination and the problem of empty names are, at bottom, the same problem. I argue for this by reconstructing the problem of empty names in way that is novel, but implicit in much of the discussion on empty names. I then show how, once recast in this light, the two problems are structurally identical down to an extremely fine level of granularity, and also substantially overlap in terms of their content. If the problems are identical in the way I propose, then we should expect that their spaces of solutions are also identical, and there is signi cant support for this conclusion. However, there are some proposed solutions to the problem of hallucination that have been overlooked as potential solutions to the problem of empty names, and this realization opens new non-relational approaches to the problem of empty names, and to the nature of meaning more generally. -/- In chapter three, titled "Intensionality is Additional Phrasal Unity", I argue for a novel approach to the semantics of intensional contexts. At the heart of my proposal is the Quinean view that intensional contexts should, from the perspective of the semantics, be treated as units, with the material in them contributing to the formation of a single predicate. However, this proposal is subject to a number of objections, including the criticism that taken at face value, this would render intensional contexts, which seem to be fully productive, non-compositional. I begin by discussing the concept of the unity of the phrase, and pointing to various ways that phrases can gain additional unity. I then proposes that the intensionality of intensional transitive verbs is best construed as a form of semantic incorporation; ITVs, on their intensional readings, meet all of the criteria for qualifying as incorporating the nominals in their object positions. I then give a semantics for ITVs that builds on existing views of the semantics of incorporation structures, and gesture at how this can be extended to intensional clausal verbs, including the so-called propositional attitude verbs. (shrink)

Throughout the biological and biomedical sciences there is a growing need for, prescriptive ‘minimum information’ (MI) checklists specifying the key information to include when reporting experimental results are beginning to find favor with experimentalists, analysts, publishers and funders alike. Such checklists aim to ensure that methods, data, analyses and results are described to a level sufficient to support the unambiguous interpretation, sophisticated search, reanalysis and experimental corroboration and reuse of data sets, facilitating the extraction of maximum value from data sets (...) them. However, such ‘minimum information’ MI checklists are usually developed independently by groups working within representatives of particular biologically- or technologically-delineated domains. Consequently, an overview of the full range of checklists can be difficult to establish without intensive searching, and even tracking thetheir individual evolution of single checklists may be a non-trivial exercise. Checklists are also inevitably partially redundant when measured one against another, and where they overlap is far from straightforward. Furthermore, conflicts in scope and arbitrary decisions on wording and sub-structuring make integration difficult. This presents inhibit their use in combination. Overall, these issues present significant difficulties for the users of checklists, especially those in areas such as systems biology, who routinely combine information from multiple biological domains and technology platforms. To address all of the above, we present MIBBI (Minimum Information for Biological and Biomedical Investigations); a web-based communal resource for such checklists, designed to act as a ‘one-stop shop’ for those exploring the range of extant checklist projects, and to foster collaborative, integrative development and ultimately promote gradual integration of checklists. (shrink)

Teachers encountered numerous challenges posed by the COVID-19 outbreak. Herewith, this study aimed to determine the challenges encountered by Filipino teachers in the new normal and their coping mechanisms. This study employed a qualitative inquiry to determine the challenges encountered and coping mechanisms employed by teachers amid modular instruction, involving 10 teachers from five secondary schools in the Philippines who participated voluntarily. Data were gathered through a written narrative from each participant and were analyzed thematically. Themed findings showed that these (...) teachers are greatly challenged in terms of learning quality transfer, module distribution and retrieval, students’ difficulties in following instruction, power disruption, internet connection, and health risks posed by the pandemic. Nevertheless, these teachers dealt with these difficulties by employing their own coping techniques. Teaching can be challenging and frustrating, especially in these difficult times, but as these teachers demonstrated, everything is possible. Hence, educators must be ready for any situation that may arise. This situation is unlikely to get better anytime soon; instead, teachers will need to adjust to and accept this reality. (shrink)

Pain may appear to undermine the radically intentionalist view that the phenomenal character of any experience is entirely constituted by its representational content. That appearance is illusory. After categorizing versions of pain intentionalism along two dimensions, I argue that an 'objectivist' and 'non-mentalist' version is the most promising, if it can withstand two objections concerning what we say when in pain, and the distinctiveness of pain. I rebut these objections, in a way available to both opponents of and adherents to (...) the view that experiential content is entirely conceptual. (shrink)

We are immersed within an odorous sea of chemical currents that we parse into individual odors with complex structures. Odors have been posited as determined by the structural relation between the molecules that compose the chemical compounds and their interactions with the receptor site. But, naturally occurring smells are parsed from gaseous odor plumes. To give a comprehensive account of the nature of odors the chemosciences must account for these large distributed entities as well. We offer a focused review of (...) what is known about the perception of odor plumes for olfactory navigation and tracking, which we then connect to what is known about the role odorants play as properties of the plume in determining odor identity with respect to odor quality. We end by motivating our central claim that more research needs to be conducted on the role that odorants play within the odor plume in determining odor identity. (shrink)

Philosophers have rightly condemned lookism—that is, discrimination in favor of attractive people or against unattractive people—in education, the justice system, the workplace and elsewhere. Surprisingly, however, the almost universal preference for attractive romantic and sexual partners has rarely received serious ethical scrutiny. On its face, it’s unclear whether this is a form of discrimination we should reject or tolerate. I consider arguments for both views. On the one hand, a strong case can be made that preferring attractive partners is bad. (...) The idea is that choosing partners based on looks seems essentially similar to other objectionable forms of discrimination. (In particular, the preference for attractive partners is arguably both unfair and harmful to a significant degree.) One can try to resist this conclusion in several ways. I consider three possible replies. The first has to do with the possibility of controlling our partner preferences. The second pertains to attractiveness and “good genes”. The last attempts to link certain aspects of attractiveness to a prospective partner’s personality and values. I argue that the first two replies fail conclusively, while the third only amounts to a limited defense of a particular kind of attractiveness preference. So the idea that we should often avoid preferring attractive partners is compelling. (shrink)

Abstract – In this paper I reconstruct the nature, origins and survivals of the divide between ‘analytic’ and ‘continental’ tradition—the famous dualism which affected the development of philosophy in the second half of the XX century. I also present a theory of it, stressing that its intra-philosophical causes are to be found in the mutual resistance between critical (transcendental) and semantic (logical) approaches in philosophy. I conclude by noting that good philosophers (more or less knowingly) are and have always been (...) sensitive to the transcendental and logical aspects of the philosophical work. (shrink)

In this paper, I develop and defend a new adverbial theory of perception. I first present a semantics for direct-object perceptual reports that treats their object positions as supplying adverbial modifiers, and I show how this semantics definitively solves the many-property problem for adverbialism. My solution is distinctive in that it articulates adverbialism from within a well-established formal semantic framework and ties adverbialism to a plausible semantics for perceptual reports in English. I then go on to present adverbialism as a (...) theory of the metaphysics of perception. The metaphysics I develop treats adverbial perception as a directed activity: it is an activity with success conditions. When perception is successful, the agent bears a relation to a concrete particular, but perception need not be successful; this allows perception to be fundamentally non-relational. The result is a novel formulation of adverbialism that eliminates the need for representational contents, but also treats successful and unsuccessful perceptual events as having a fundamental common factor. (shrink)

According to a widespread view in metaphysics and philosophy of science, all explanations involve relations of ontic dependence between the items appearing in the explanandum and the items appearing in the explanans. I argue that a family of mathematical cases, which I call “viewing-as explanations”, are incompatible with the Dependence Thesis. These cases, I claim, feature genuine explanations that aren’t supported by ontic dependence relations. Hence the thesis isn’t true in general. The first part of the paper defends this claim (...) and discusses its significance. The second part of the paper considers whether viewing-as explanations occur in the empirical sciences, focusing on the case of so-called fictional models. It’s sometimes suggested that fictional models can be explanatory even though they fail to represent actual worldly dependence relations. Whether or not such models explain, I suggest, depends on whether we think scientific explanations necessarily give information relevant to intervention and control. Finally, I argue that counterfactual approaches to explanation also have trouble accommodating viewing-as cases. (shrink)

We discuss potential biorisks from large language models (LLMs). AI assistants based on LLMs such as ChatGPT have been shown to significantly reduce barriers to entry for actors wishing to synthesize dangerous, potentially novel pathogens and chemical weapons. The harms from deploying such bioagents could be further magnified by AI-assisted misinformation. We endorse several policy responses to these dangers, including prerelease evaluations of biomedical AIs by subject-matter experts, enhanced surveillance and lab screening procedures, restrictions on AI training data, and access (...) controls on biomedical AI. We conclude with a suggestion about future research directions in bioethics. (shrink)

This paper investigates the nature of emotional experience in relation to the senses, and it defends the thesis that emotional experience is partly non-sensory. In §1 I introduce my reader to the debate. I reconstruct a position I call ‘restrictivism’ and motivate it as part of a reductive approach to mind’s place in nature. Drawing on intuitive but insightful remarks on the nature of sensation from Plato, I map out the conditions under which the restrictivist thesis is both substantive and (...) plausible. I then present two arguments against it. The first argument, which I lay out in §2, draws on recent empirical results in emotion research to show that restrictivism cannot be reconciled with the possibility of knowledge of one’s own emotional state by acquaintance. The second argument, which I present in §3, individuates a claim on which most contemporary theories of emotional valence converge and uses it to demonstrate that restrictivism has a false implication: it must deny that valence is experientially felt. (shrink)

The problem of truth in fiction concerns how to tell whether a given proposition is true in a given fiction. Thus far, the nearly universal consensus has been that some propositions are ‘implicitly true’ in some fictions: such propositions are not expressed by any explicit statements in the relevant work, but are nevertheless held to be true in those works on the basis of some other set of criteria. I call this family of views ‘implicitism’. I argue that implicitism faces (...) serious problems, whereas the opposite view is much more plausible than has previously been thought. After mounting a limited defence of explicitism, I explore a difficult problem for the view and discuss some possible responses. (shrink)

There is good reason to think that, in every case of perceptual consciousness, there is something of which we are conscious; but there is also good reason to think that, in some cases of perceptual consciousness—for instance, hallucinations—there is nothing of which we are conscious. This paper resolves this inconsistency—which we call the presentation problem—by (a) arguing that ‘conscious of’ and related expressions function as intensional transitive verbs and (b) defending a particular semantic approach to such verbs, on which they (...) have readings that lack direct objects or themes. The paper further argues that this approach serves not only as a linguistic proposal about the semantics of ‘conscious of’, but also as a proposal about the metaphysics of conscious states. (shrink)

In this paper I show that we have strong empirical and theoretical reasons to treat the verbs we use in our semantic theorizing—particularly ‘refers to ’, ‘applies to ’, and ‘is true of ’—as intensional transitive verbs. Stating our semantic theories with intensional vocabulary allows us to partially reconcile two competing approaches to the nature and subject-matter of semantics: the Chomskian approach, on which semantics is non-relational, internalistic, and concerns the psychology of language users, and the Lewisian approach, on which (...) semantics is fully relational, specifies truth-conditions, and has metaphysical implications. ITVs have two readings: an intensional, de dicto reading, and a relational, de re reading. A semantic theory stated with the de dicto readings of our semantic verbs captures the core insights of the Chomskian approach to semantics, in part because it allows us to assign extremely fine-grained semantic values to expressions, even when those expressions are empty. On the other hand, the de re reading yields a theory that is fully relational, and issues in truth-conditions. The resulting theories are related—and compatible—in that they are expressed by two different readings of the very same semantic vocabulary, and plausibly, the distinction between these two readings is one of scope. (shrink)

We argue that the value of authenticity does not explain the value of self-knowledge. There are a plurality of species of authenticity; in this paper we consider four species: avoiding pretense (section 2), Frankfurtian wholeheartedness (section 3), existential self-knowledge (section 4), and spontaneity (section 5). Our thesis is that, for each of these species, the value of (that species of) authenticity does not (partially) explain the value of self-knowledge. Moreover, when it comes to spontaneity, the value of (that species of) (...) authenticity conflicts with the value of self-knowledge. (shrink)

It has been over two decades since Miranda Fricker labeled epistemic injustice, in which an agent is wronged in their capacity as a knower. The philosophical literature has proliferated with variants and related concepts. By considering cases in popular music, we argue that it is worth distinguishing a parallel phenomenon of art-interpretive injustice, in which an agent is wronged in their creative capacity as a possible artist. In section 1, we consider the prosecutorial use of rap lyrics in court as (...) a central case of this injustice. In section 2, we distinguish art-interpretive injustice from other categories already discussed in recent literature. In section 3, we discuss the relationship between genre discourse and identity prejudice. The case for recognizing the category of art-interpretive injustice is that it allows one to recognize a class of harms as being importantly related in ways that one would otherwise overlook. (shrink)

Deductive inference is usually regarded as being “tautological” or “analytical”: the information conveyed by the conclusion is contained in the information conveyed by the premises. This idea, however, clashes with the undecidability of first-order logic and with the (likely) intractability of Boolean logic. In this article, we address the problem both from the semantic and the proof-theoretical point of view. We propose a hierarchy of propositional logics that are all tractable (i.e. decidable in polynomial time), although by means of growing (...) computational resources, and converge towards classical propositional logic. The underlying claim is that this hierarchy can be used to represent increasing levels of “depth” or “informativeness” of Boolean reasoning. Special attention is paid to the most basic logic in this hierarchy, the pure “intelim logic”, which satisfies all the requirements of a natural deduction system (allowing both introduction and elimination rules for each logical operator) while admitting of a feasible (quadratic) decision procedure. We argue that this logic is “analytic” in a particularly strict sense, in that it rules out any use of “virtual information”, which is chiefly responsible for the combinatorial explosion of standard classical systems. As a result, analyticity and tractability are reconciled and growing degrees of computational complexity are associated with the depth at which the use of virtual information is allowed. (shrink)

Multidimensional adjectives are ubiquitous in natural language. An adjective F is multidimensional just in case whether F applies to an object or pair of objects depends on how those objects stand with respect to multiple underlying dimensions of F-ness. Developing a semantics for multidimensional adjectives requires us to address the problem of dimensional aggregation: how do the application conditions of an adjective F in its positive and comparative forms depend on its underlying dimensions? Here we develop a semantics for multidimensional (...) adjectives that incorporates aggregation functions. We then explore an analogy between dimensional aggregation and preference aggregation, bringing results from social choice theory to bear on the number and kind of aggregation functions that are admissible in a context. These results suggest that, for any given adjective, there will often be multiple aggregation functions admissible, meaning that multidimensional comparatives are often vague. (shrink)

This is the first chapter to our edited collection of essays on the nature and ethics of blame. In this chapter we introduce the reader to contemporary discussions about blame and its relationship to other issues (e.g. free will and moral responsibility), and we situate the essays in this volume with respect to those discussions.

Appropriate information and consent has been one of the most intensely discussed topics within the context of biobank research. In parallel to the normative debate, many socio-empirical studies have been conducted to gather experiences, preferences and views of patients, healthy research participants and further stakeholders. However, there is scarcity of literature which connects the normative debate about justifications for different consent models with findings gained in empirical research. In this paper we discuss findings of a limited review of socio-empirical research (...) on patients’ and healthy research participants’ experiences and views regarding consent to biobank research in light of ethical principles for appropriate information and consent. (shrink)

Gauss’s quadratic reciprocity theorem is among the most important results in the history of number theory. It’s also among the most mysterious: since its discovery in the late 18th century, mathematicians have regarded reciprocity as a deeply surprising fact in need of explanation. Intriguingly, though, there’s little agreement on how the theorem is best explained. Two quite different kinds of proof are most often praised as explanatory: an elementary argument that gives the theorem an intuitive geometric interpretation, due to Gauss (...) and Eisenstein, and a sophisticated proof using algebraic number theory, due to Hilbert. Philosophers have yet to look carefully at such explanatory disagreements in mathematics. I do so here. According to the view I defend, there are two important explanatory virtues—depth and transparency—which different proofs (and other potential explanations) possess to different degrees. Although not mutually exclusive in principle, the packages of features associated with the two stand in some tension with one another, so that very deep explanations are rarely transparent, and vice versa. After developing the theory of depth and transparency and applying it to the case of quadratic reciprocity, I draw some morals about the nature of mathematical explanation. (shrink)

This paper examines the integration and unification of the philosophy and psychology of well-being. For the most part, these disciplines investigate well-being without reference to each other. In recent years, however, with the maturing of each discipline, there have been a growing number of calls to integrate the two. While such calls are welcome, what it means to integrate well-being philosophy and psychology can vary greatly depending on one’s theoretical and practical ends. The aim of this paper is to provide (...) a novel conceptual framework for thinking about integrating well-being philosophy and psychology that systematically categorizes different kinds of integration projects. We divide existing attempts in the literature into three broad categories according to the perspective from which the integration takes place: (1) top-down meta-theoretical unification; (2) psychological integration within philosophy; and (3) philosophical integration within psychology. These categories are then broken down into various further subcategories. Our aim in providing this framework is both to facilitate the assessment and comparison of existing integration attempts and to provide a roadmap for future integration attempts. For each category, we discuss one or two representative examples of the approaches. By doing so, we hope to generate interest in the wide variety of existing integration projects, as well as to generate discussion concerning the benefits and pitfalls of different approaches. (shrink)

In this chapter, we introduce the notion of “moral neuroenhancement,” offering a novel definition as well as spelling out three conditions under which we expect that such neuroenhancement would be most likely to be permissible (or even desirable). Furthermore, we draw a distinction between first-order moral capacities, which we suggest are less promising targets for neurointervention, and second-order moral capacities, which we suggest are more promising. We conclude by discussing concerns that moral neuroenhancement might restrict freedom or otherwise “misfire,” and (...) argue that these concerns are not as damning as they may seem at first. (shrink)

Philosophers of science since Nagel have been interested in the links between intertheoretic reduction and explanation, understanding and other forms of epistemic progress. Although intertheoretic reduction is widely agreed to occur in pure mathematics as well as empirical science, the relationship between reduction and explanation in the mathematical setting has rarely been investigated in a similarly serious way. This paper examines an important particular case: the reduction of arithmetic to set theory. I claim that the reduction is unexplanatory. In defense (...) of this claim, I offer evidence from mathematical practice, and I respond to contrary suggestions due to Steinhart, Maddy, Kitcher and Quine. I then show how, even if set-theoretic reductions are generally not explanatory, set theory can nevertheless serve as a legitimate foundation for mathematics. Finally, some implications of my thesis for philosophy of mathematics and philosophy of science are discussed. In particular, I suggest that some reductions in mathematics are probably explanatory, and I propose that differing standards of theory acceptance might account for the apparent lack of unexplanatory reductions in the empirical sciences. (shrink)

This article endeavors to identify the strongest versions of the two primary arguments against epistemic scientific realism: the historical argument—generally dubbed “the pessimistic meta-induction”—and the argument from underdetermination. It is shown that, contrary to the literature, both can be understood as historically informed but logically validmodus tollensarguments. After specifying the question relevant to underdetermination and showing why empirical equivalence is unnecessary, two types of competitors to contemporary scientific theories are identified, both of which are informed by science itself. With the (...) content and structure of the two nonrealist arguments clarified, novel relations between them are uncovered, revealing the severity of their collective threat against epistemic realism and its “no-miracles” argument. The final section proposes, however, that the realist’s axiological tenet “science seeks truth” is not blocked. An attempt is made to indicate the promise for a nonepistemic, purely axiological scientific realism—here dubbed “Socratic scientific realism.”. (shrink)

The many-property problem has traditionally been taken to show that the adverbial theory of perception is untenable. This paper first shows that several widely accepted views concerning the nature of perception---including both representational and non-representational views---likewise face the many-property problem. It then presents a solution to the many-property problem for these views, but goes on to show how this solution can be adapted to provide a novel, fully compositional solution to the many-property problem for adverbialism. Thus, with respect to the (...) many-property problem, adverbialism and several widely accepted views in the philosophy of perception are on a par, and the problem is solved. (shrink)

Mathematicians distinguish between proofs that explain their results and those that merely prove. This paper explores the nature of explanatory proofs, their role in mathematical practice, and some of the reasons why philosophers should care about them. Among the questions addressed are the following: what kinds of proofs are generally explanatory (or not)? What makes a proof explanatory? Do all mathematical explanations involve proof in an essential way? Are there really such things as explanatory proofs, and if so, how do (...) they relate to the sorts of explanation encountered in philosophy of science and metaphysics? (shrink)

Scepticism about ought simpliciter is the view that there is no such thing as what one ought simpliciter to do. Instead, practical deliberation is governed by a plurality of normative standpoints, each authoritative from their own perspective but none authoritative simpliciter. This paper aims to resist such scepticism. After setting out the challenge in general terms, I argue that scepticism can be resisted by rejecting a key assumption in the sceptic’s argument. This is the assumption that standpoint-relative ought judgments bring (...) with them a commitment to act in accordance with those judgments. Instead, I propose an alternative account of our normative concepts according to which only ought simpliciter judgments commit one to acting in accordance with those judgments. In addition to answering the sceptical challenge, the proposal offers an independently motivated account of what makes a concept normatively authoritative. (shrink)

Ramsification is a well-known method of defining theoretical terms that figures centrally in a wide range of debates in metaphysics. Prior's puzzle is the puzzle of why, given the assumption that that-clauses denote propositions, substitution of "the proposition that P" for "that P" within the complements of many propositional attitude verbs sometimes fails to preserve truth, and other times fails to preserve grammaticality. On the surface, Ramsification and Prior's puzzle appear to have little to do with each other. But Prior's (...) puzzle is much more general than is ordinarily appreciated, and Ramsification requires a solution to the generalized form of Prior's puzzle. Without such a solution, a wide range of theories will either fail to imply their Ramsey sentences, or have Ramsey sentences that are ill-formed. As a consequence, definitions of theoretical terms given using the Ramsey sentence will be either incorrect or nonsensical. I present a partial solution to the puzzle that requires making use of a neo-Davidsonian language for scientific theorizing, but the would-be Ramsifier still faces serious challenges. (shrink)

The author develops the claim that humans characteristically maintain a sense of protectedness by creating various forms of metaphysical illusion, replacing the tragic finitude and transience of human existence with a permanent and eternally changeless reality. One such illusion forms around planet earth itself, transformed into an indestructible metaphysical entity. It has become increasingly difficult, in the face of the ravages of climate change, to maintain the illusion of earth’s indestructibility, and with it, a sense of safety. The author refers (...) to the feelings evoked by the crumbling of metaphysical illusion as Apocalyptic anxiety¬—the dread of the end of human civilization. This Apocalyptic dread needs to be confronted (not evaded) in a comportment of dwelling—with our vulnerable planet and with our vulnerable fellow human beings. (shrink)

Prior’s puzzle is standardly taken to be the puzzle of why, given the assumption that that-clauses denote propositions, substitution of “the proposition that P” for “that P” within the complements of many propositional attitude verbs is invalid. I show that Prior’s puzzle is much more general than is ordinarily supposed. There are two variants on the substitutional form of the puzzle—a quantificational variant and a pronominal variant—and all three forms of the puzzle arise in a wide range of grammatical positions, (...) rather than merely in the complements of propositional attitude verbs. The generalized puzzle shows that a range of proposed solutions to the original puzzle fail, or are radically incomplete, and also reveals the connections between Prior’s puzzle and debates over the nature of semantic types and higher-order quantification. I go on to develop a novel, higher-order solution to the generalized form of the puzzle, and I argue that this higher-approach is superior to its first-order alternatives. (shrink)